ePMC

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 8
Property:messagesB (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files egl.prism --model-input-type prism --property-input-files egl.props --property-input-names messagesB --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=10,L=8
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property messagesB
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2342 2342
build-model-states-explored 5389 3047
build-model-states-explored 8768 3379
build-model-states-explored 11764 2996
build-model-states-explored 14790 3026
build-model-states-explored 18057 3267
build-model-states-explored 21587 3530
build-model-states-explored 25105 3518
build-model-states-explored 28645 3540
build-model-states-explored 32178 3533
build-model-states-explored 35287 3109
build-model-states-explored 38347 3060
build-model-states-explored 41407 3060
build-model-states-explored 44468 3061
build-model-states-explored 47529 3061
build-model-states-explored 50550 3021
build-model-states-explored 53610 3060
build-model-states-explored 56663 3053
build-model-states-explored 59731 3068
build-model-states-explored 62791 3060
build-model-states-explored 65839 3048
build-model-states-explored 69373 3534
build-model-states-explored 72906 3533
build-model-states-explored 76449 3543
build-model-states-explored 79978 3529
build-model-states-explored 83512 3534
build-model-states-explored 87044 3532
build-model-states-explored 90582 3538
build-model-states-explored 94122 3540
build-model-states-explored 97653 3531
build-model-states-explored 101109 3456
build-model-states-explored 104635 3526
build-model-states-explored 108172 3537
build-model-states-explored 111708 3536
build-model-states-explored 115248 3540
build-model-states-explored 118782 3534
build-model-states-explored 122314 3532
build-model-states-explored 125853 3539
build-model-states-explored 129394 3541
build-model-states-explored 132561 3167
build-model-states-explored 135620 3059
build-model-states-explored 138679 3059
build-model-states-explored 141742 3063
build-model-states-explored 144807 3065
build-model-states-explored 147874 3067
build-model-states-explored 150937 3063
build-model-states-explored 153988 3051
build-model-states-explored 157052 3064
build-model-states-explored 160118 3066
build-model-states-explored 163186 3068
build-model-states-explored 166251 3065
build-model-states-explored 169312 3061
build-model-states-explored 172324 3012
build-model-states-explored 175392 3068
build-model-states-explored 178458 3066
build-model-states-explored 181519 3061
build-model-states-explored 184581 3062
build-model-states-explored 187647 3066
build-model-states-explored 190716 3069
build-model-states-explored 193780 3064
build-model-states-explored 196680 2900
build-model-states-explored 199740 3060
build-model-states-explored 202805 3065
build-model-states-explored 205872 3067
build-model-states-explored 208942 3070
build-model-states-explored 211999 3057
build-model-states-explored 215061 3062
build-model-states-explored 218128 3067
build-model-states-explored 221198 3070
build-model-states-explored 224270 3072
build-model-states-explored 227342 3072
build-model-states-explored 230407 3065
build-model-states-explored 233479 3072
build-model-states-explored 236547 3068
build-model-states-explored 239613 3066
build-model-states-explored 242677 3064
build-model-states-explored 245752 3075
build-model-states-explored 248812 3060
build-model-states-explored 251882 3070
build-model-states-explored 254950 3068
build-model-states-explored 258018 3068
build-model-states-explored 261092 3074
build-model-states-explored 264199 3107
build-model-states-explored 267702 3503
build-model-states-explored 271220 3518
build-model-states-explored 274750 3530
build-model-states-explored 278270 3520
build-model-states-explored 281801 3531
build-model-states-explored 285325 3524
build-model-states-explored 288854 3529
build-model-states-explored 292386 3532
build-model-states-explored 295928 3542
build-model-states-explored 299454 3526
build-model-states-explored 302991 3537
build-model-states-explored 306520 3529
build-model-states-explored 310056 3536
build-model-states-explored 313582 3526
build-model-states-explored 317113 3531
build-model-states-explored 320638 3525
build-model-states-explored 324168 3530
build-model-states-explored 327699 3531
build-model-states-explored 331223 3524
build-model-states-explored 334745 3522
build-model-states-explored 338264 3519
build-model-states-explored 341785 3521
build-model-states-explored 345300 3515
build-model-states-explored 348830 3530
build-model-states-explored 352339 3509
build-model-states-explored 355866 3527
build-model-states-explored 359397 3531
build-model-states-explored 362913 3516
build-model-states-explored 366439 3526
build-model-states-explored 369967 3528
build-model-states-explored 373495 3528
build-model-states-explored 377019 3524
build-model-states-explored 380547 3528
build-model-states-explored 384073 3526
build-model-states-explored 387596 3523
build-model-states-explored 391112 3516
build-model-states-explored 394227 3115
build-model-states-explored 397756 3529
build-model-states-explored 401286 3530
build-model-states-explored 404812 3526
build-model-states-explored 408325 3513
build-model-states-explored 411849 3524
build-model-states-explored 415360 3511
build-model-states-explored 418885 3525
build-model-states-explored 422416 3531
build-model-states-explored 425941 3525
build-model-states-explored 429463 3522
build-model-states-explored 432992 3529
build-model-states-explored 436524 3532
build-model-states-explored 440048 3524
build-model-states-explored 443576 3528
build-model-states-explored 447106 3530
build-model-states-explored 450628 3522
build-model-states-explored 454157 3529
build-model-states-explored 457636 3479
build-model-states-explored 461171 3535
build-model-states-explored 464705 3534
build-model-states-explored 468228 3523
build-model-states-explored 471752 3524
build-model-states-explored 475275 3523
build-model-states-explored 478801 3526
build-model-states-explored 482331 3529
build-model-states-explored 485862 3532
build-model-states-explored 489390 3528
build-model-states-explored 492914 3524
build-model-states-explored 496432 3518
build-model-states-explored 499950 3518
build-model-states-explored 503473 3523
build-model-states-explored 506986 3513
build-model-states-explored 510508 3522
build-model-states-explored 514027 3519
build-model-states-explored 517551 3524
build-model-states-explored 521065 3514
build-model-states-explored 524288 3223
build-model-states-explored 527125 2837
build-model-states-explored 530178 3053
build-model-states-explored 533236 3058
build-model-states-explored 536283 3047
build-model-states-explored 539336 3053
build-model-states-explored 542389 3053
build-model-states-explored 545440 3051
build-model-states-explored 548503 3063
build-model-states-explored 551556 3053
build-model-states-explored 554617 3061
build-model-states-explored 557612 2995
build-model-states-explored 560668 3056
build-model-states-explored 563732 3064
build-model-states-explored 566788 3056
build-model-states-explored 569847 3059
build-model-states-explored 572903 3056
build-model-states-explored 575953 3050
build-model-states-explored 579011 3058
build-model-states-explored 582075 3064
build-model-states-explored 585133 3058
build-model-states-explored 588077 2944
build-model-states-explored 591061 2984
build-model-states-explored 594123 3062
build-model-states-explored 597184 3061
build-model-states-explored 600235 3051
build-model-states-explored 603290 3055
build-model-states-explored 606352 3062
build-model-states-explored 609388 3035
build-model-states-explored 612444 3056
build-model-states-explored 615489 3045
build-model-states-explored 618539 3050
build-model-states-explored 621602 3063
build-model-states-explored 624665 3063
build-model-states-explored 627718 3053
build-model-states-explored 630785 3067
build-model-states-explored 633835 3050
build-model-states-explored 636901 3066
build-model-states-explored 639968 3067
build-model-states-explored 643022 3054
build-model-states-explored 646091 3068
build-model-states-explored 649051 2961
build-model-states-explored 652105 3054
build-model-states-explored 655175 3070
build-model-states-explored 658226 3051
build-model-states-explored 661272 3046
build-model-states-explored 664327 3055
build-model-states-explored 667381 3054
build-model-states-explored 670427 3046
build-model-states-explored 673481 3054
build-model-states-explored 676538 3057
build-model-states-explored 679595 3057
build-model-states-explored 682651 3056
build-model-states-explored 685709 3058
build-model-states-explored 688768 3059
build-model-states-explored 691819 3051
build-model-states-explored 694884 3065
build-model-states-explored 697942 3058
build-model-states-explored 701003 3061
build-model-states-explored 704060 3057
build-model-states-explored 707101 3041
build-model-states-explored 710163 3062
build-model-states-explored 713220 3057
build-model-states-explored 716270 3050
build-model-states-explored 719326 3056
build-model-states-explored 722395 3069
build-model-states-explored 725442 3047
build-model-states-explored 728504 3062
build-model-states-explored 731563 3059
build-model-states-explored 734632 3069
build-model-states-explored 737694 3062
build-model-states-explored 740682 2988
build-model-states-explored 743745 3063
build-model-states-explored 746802 3057
build-model-states-explored 749846 3044
build-model-states-explored 752906 3060
build-model-states-explored 755954 3047
build-model-states-explored 759011 3058
build-model-states-explored 762075 3064
build-model-states-explored 765128 3053
build-model-states-explored 768192 3064
build-model-states-explored 771249 3057
build-model-states-explored 774312 3063
build-model-states-explored 777380 3068
build-model-states-explored 780444 3064
build-model-states-explored 783506 3062
build-model-states-explored 786431 2925
build-model-states-explored 788931 2500
build-model-states-explored 791984 3053
build-model-states-explored 795046 3062
build-model-states-explored 798101 3055
build-model-states-explored 800440 2339
build-model-states-explored 803903 3463
build-model-states-explored 807369 3466
build-model-states-explored 810860 3491
build-model-states-explored 814328 3468
build-model-states-explored 817825 3497
build-model-states-explored 821304 3479
build-model-states-explored 824780 3476
build-model-states-explored 828265 3485
build-model-states-explored 831746 3481
build-model-states-explored 835126 3380
build-model-states-explored 838614 3488
build-model-states-explored 842091 3477
build-model-states-explored 845569 3478
build-model-states-explored 849072 3503
build-model-states-explored 852566 3494
build-model-states-explored 856064 3498
build-model-states-explored 859552 3488
build-model-states-explored 863031 3479
build-model-states-explored 866515 3484
build-model-states-explored 870006 3491
build-model-states-explored 873496 3490
build-model-states-explored 876995 3499
build-model-states-explored 880477 3482
build-model-states-explored 883967 3490
build-model-states-explored 887462 3495
build-model-states-explored 890953 3491
build-model-states-explored 894436 3483
build-model-states-explored 897926 3490
build-model-states-explored 901425 3499
build-model-states-explored 904919 3494
build-model-states-explored 908415 3496
build-model-states-explored 911903 3488
build-model-states-explored 915405 3502
build-model-states-explored 918877 3472
build-model-states-explored 922371 3494
build-model-states-explored 925860 3489
build-model-states-explored 929345 3485
build-model-states-explored 932825 3480
build-model-states-explored 936300 3475
build-model-states-explored 939766 3466
build-model-states-explored 943254 3488
build-model-states-explored 946741 3487
build-model-states-explored 950236 3495
build-model-states-explored 953731 3495
build-model-states-explored 957213 3482
build-model-states-explored 960715 3502
build-model-states-explored 964204 3489
build-model-states-explored 967700 3496
build-model-states-explored 971187 3487
build-model-states-explored 974681 3494
build-model-states-explored 978161 3480
build-model-states-explored 981649 3488
build-model-states-explored 985132 3483
build-model-states-explored 988629 3497
build-model-states-explored 992108 3479
build-model-states-explored 995598 3490
build-model-states-explored 999096 3498
build-model-states-explored 1002577 3481
build-model-states-explored 1006072 3495
build-model-states-explored 1009562 3490
build-model-states-explored 1013043 3481
build-model-states-explored 1016547 3504
build-model-states-explored 1020037 3490
build-model-states-explored 1023523 3486
build-model-states-explored 1027024 3501
build-model-states-explored 1030526 3502
build-model-states-explored 1034018 3492
build-model-states-explored 1037515 3497
build-model-states-explored 1041010 3495
build-model-states-explored 1044435 3425
build-model-states-explored 1047926 3491
build-model-states-explored 1050137 2211
build-model-states-explored 1053183 3046
build-model-states-explored 1056235 3052
build-model-states-explored 1059282 3047
build-model-states-explored 1062304 3022
build-model-states-explored 1065348 3044
build-model-states-explored 1068406 3058
build-model-states-explored 1071462 3056
build-model-states-explored 1074513 3051
build-model-states-explored 1077564 3051
build-model-states-explored 1080614 3050
build-model-states-explored 1083669 3055
build-model-states-explored 1086728 3059
build-model-states-explored 1089779 3051
build-model-states-explored 1092828 3049
build-model-states-explored 1095878 3050
build-model-states-explored 1098926 3048
build-model-states-explored 1101972 3046
build-model-states-explored 1105017 3045
build-model-states-explored 1108072 3055
build-model-states-explored 1111132 3060
build-model-states-explored 1114177 3045
build-model-states-explored 1117227 3050
build-model-states-explored 1120272 3045
build-model-states-explored 1123324 3052
build-model-states-explored 1126382 3058
build-model-states-explored 1129440 3058
build-model-states-explored 1132479 3039
build-model-states-explored 1135536 3057
build-model-states-explored 1138580 3044
build-model-states-explored 1141631 3051
build-model-states-explored 1144687 3056
build-model-states-explored 1147746 3059
build-model-states-explored 1150789 3043
build-model-states-explored 1153847 3058
build-model-states-explored 1156900 3053
build-model-states-explored 1159947 3047
build-model-states-explored 1162992 3045
build-model-states-explored 1166052 3060
build-model-states-explored 1169110 3058
build-model-states-explored 1172164 3054
build-model-states-explored 1175217 3053
build-model-states-explored 1178268 3051
build-model-states-explored 1181325 3057
build-model-states-explored 1184377 3052
build-model-states-explored 1187439 3062
build-model-states-explored 1190494 3055
build-model-states-explored 1193540 3046
build-model-states-explored 1196594 3054
build-model-states-explored 1199643 3049
build-model-states-explored 1202701 3058
build-model-states-explored 1205756 3055
build-model-states-explored 1208816 3060
build-model-states-explored 1211876 3060
build-model-states-explored 1214931 3055
build-model-states-explored 1217979 3048
build-model-states-explored 1221039 3060
build-model-states-explored 1224096 3057
build-model-states-explored 1227150 3054
build-model-states-explored 1230201 3051
build-model-states-explored 1233250 3049
build-model-states-explored 1236299 3049
build-model-states-explored 1239360 3061
build-model-states-explored 1242413 3053
build-model-states-explored 1245472 3059
build-model-states-explored 1248533 3061
build-model-states-explored 1251481 2948
build-model-states-explored 1254534 3053
build-model-states-explored 1257587 3053
build-model-states-explored 1260653 3066
build-model-states-explored 1263715 3062
build-model-states-explored 1266763 3048
build-model-states-explored 1269815 3052
build-model-states-explored 1272875 3060
build-model-states-explored 1275929 3054
build-model-states-explored 1278986 3057
build-model-states-explored 1282042 3056
build-model-states-explored 1285101 3059
build-model-states-explored 1288157 3056
build-model-states-explored 1291213 3056
build-model-states-explored 1294267 3054
build-model-states-explored 1297317 3050
build-model-states-explored 1300375 3058
build-model-states-explored 1303428 3053
build-model-states-explored 1306492 3064
build-model-states-explored 1309558 3066
build-model-states-explored 1312607 3049
build-model-states-explored 1315653 3046
build-model-states-explored 1318697 3044
build-model-states-explored 1321746 3049
build-model-states-explored 1324800 3054
build-model-states-explored 1327849 3049
build-model-states-explored 1330905 3056
build-model-states-explored 1333966 3061
build-model-states-explored 1337026 3060
build-model-states-explored 1340076 3050
build-model-states-explored 1343130 3054
build-model-states-explored 1346190 3060
build-model-states-explored 1349241 3051
build-model-states-explored 1352294 3053
build-model-states-explored 1355342 3048
build-model-states-explored 1358388 3046
build-model-states-explored 1361443 3055
build-model-states-explored 1364494 3051
build-model-states-explored 1367549 3055
build-model-states-explored 1370600 3051
build-model-states-explored 1373650 3050
build-model-states-explored 1376711 3061
build-model-states-explored 1379741 3030
build-model-states-explored 1382795 3054
build-model-states-explored 1385852 3057
build-model-states-explored 1388915 3063
build-model-states-explored 1391974 3059
build-model-states-explored 1395020 3046
build-model-states-explored 1398072 3052
build-model-states-explored 1401126 3054
build-model-states-explored 1404182 3056
build-model-states-explored 1407251 3069
build-model-states-explored 1410193 2942
build-model-states-explored 1413110 2917
build-model-states-explored 1416165 3055
build-model-states-explored 1419222 3057
build-model-states-explored 1422266 3044
build-model-states-explored 1425329 3063
build-model-states-explored 1428368 3039
build-model-states-explored 1431428 3060
build-model-states-explored 1434490 3062
build-model-states-explored 1437539 3049
build-model-states-explored 1440606 3067
build-model-states-explored 1443664 3058
build-model-states-explored 1446715 3051
build-model-states-explored 1449771 3056
build-model-states-explored 1452823 3052
build-model-states-explored 1455878 3055
build-model-states-explored 1458925 3047
build-model-states-explored 1461980 3055
build-model-states-explored 1465038 3058
build-model-states-explored 1468096 3058
build-model-states-explored 1471143 3047
build-model-states-explored 1474199 3056
build-model-states-explored 1477257 3058
build-model-states-explored 1480310 3053
build-model-states-explored 1483367 3057
build-model-states-explored 1486427 3060
build-model-states-explored 1489485 3058
build-model-states-explored 1492538 3053
build-model-states-explored 1495589 3051
build-model-states-explored 1498647 3058
build-model-states-explored 1501685 3038
build-model-states-explored 1504738 3053
build-model-states-explored 1507792 3054
build-model-states-explored 1510838 3046
build-model-states-explored 1513894 3056
build-model-states-explored 1516948 3054
build-model-states-explored 1520002 3054
build-model-states-explored 1523046 3044
build-model-states-explored 1526113 3067
build-model-states-explored 1529168 3055
build-model-states-explored 1532224 3056
build-model-states-explored 1535280 3056
build-model-states-explored 1538336 3056
build-model-states-explored 1541393 3057
build-model-states-explored 1544447 3054
build-model-states-explored 1547497 3050
build-model-states-explored 1550552 3055
build-model-states-explored 1553605 3053
build-model-states-explored 1556652 3047
build-model-states-explored 1559711 3059
build-model-states-explored 1562763 3052
build-model-states-explored 1565809 3046
build-model-states-explored 1568860 3051
build-model-states-explored 1571918 3058
build-model-states-explored 1574966 3048
build-model-states-explored 1578022 3056
build-model-states-explored 1581075 3053
build-model-states-explored 1584132 3057
build-model-states-explored 1587192 3060
build-model-states-explored 1590266 3074
build-model-states-explored 1593330 3064
build-model-states-explored 1596387 3057
build-model-states-explored 1599441 3054
build-model-states-explored 1602493 3052
build-model-states-explored 1605546 3053
build-model-states-explored 1608592 3046
build-model-states-explored 1611643 3051
build-model-states-explored 1614699 3056
build-model-states-explored 1617755 3056
build-model-states-explored 1620801 3046
build-model-states-explored 1623856 3055
build-model-states-explored 1626907 3051
build-model-states-explored 1629963 3056
build-model-states-explored 1633021 3058
build-model-states-explored 1636087 3066
build-model-states-explored 1639144 3057
build-model-states-explored 1642195 3051
build-model-states-explored 1645245 3050
build-model-states-explored 1648296 3051
build-model-states-explored 1651353 3057
build-model-states-explored 1654403 3050
build-model-states-explored 1657458 3055
build-model-states-explored 1660503 3045
build-model-states-explored 1663555 3052
build-model-states-explored 1666621 3066
build-model-states-explored 1669680 3059
build-model-states-explored 1672742 3062
build-model-states-explored 1675793 3051
build-model-states-explored 1678839 3046
build-model-states-explored 1681885 3046
build-model-states-explored 1684917 3032
build-model-states-explored 1687943 3026
build-model-states-explored 1690972 3029
build-model-states-explored 1694030 3058
build-model-states-explored 1697090 3060
build-model-states-explored 1700139 3049
build-model-states-explored 1703192 3053
build-model-states-explored 1706246 3054
build-model-states-explored 1709306 3060
build-model-states-explored 1712362 3056
build-model-states-explored 1715415 3053
build-model-states-explored 1718468 3053
build-model-states-explored 1721524 3056
build-model-states-explored 1724581 3057
build-model-states-explored 1727629 3048
build-model-states-explored 1730685 3056
build-model-states-explored 1733745 3060
build-model-states-explored 1736793 3048
build-model-states-explored 1739846 3053
build-model-states-explored 1742900 3054
build-model-states-explored 1745958 3058
build-model-states-explored 1749022 3064
build-model-states-explored 1752075 3053
build-model-states-explored 1755113 3038
build-model-states-explored 1758163 3050
build-model-states-explored 1761141 2978
build-model-states-explored 1764190 3049
build-model-states-explored 1767249 3059
build-model-states-explored 1770305 3056
build-model-states-explored 1773362 3057
build-model-states-explored 1776344 2982
build-model-states-explored 1779394 3050
build-model-states-explored 1782452 3058
build-model-states-explored 1785508 3056
build-model-states-explored 1788561 3053
build-model-states-explored 1791612 3051
build-model-states-explored 1794650 3038
build-model-states-explored 1797705 3055
build-model-states-explored 1800758 3053
build-model-states-explored 1803812 3054
build-model-states-explored 1806861 3049
build-model-states-explored 1809919 3058
build-model-states-explored 1812967 3048
build-model-states-explored 1816015 3048
build-model-states-explored 1819062 3047
build-model-states-explored 1822115 3053
build-model-states-explored 1825164 3049
build-model-states-explored 1828213 3049
build-model-states-explored 1831255 3042
build-model-states-explored 1834310 3055
build-model-states-explored 1837363 3053
build-model-states-explored 1840409 3046
build-model-states-explored 1843466 3057
build-model-states-explored 1846515 3049
build-model-states-explored 1849571 3056
build-model-states-explored 1852623 3052
build-model-states-explored 1855672 3049
build-model-states-explored 1858726 3054
build-model-states-explored 1861786 3060
build-model-states-explored 1864832 3046
build-model-states-explored 1867867 3035
build-model-states-explored 1870919 3052
build-model-states-explored 1873971 3052
build-model-states-explored 1877023 3052
build-model-states-explored 1880089 3066
build-model-states-explored 1883133 3044
build-model-states-explored 1886182 3049
build-model-states-explored 1889235 3053
build-model-states-explored 1892291 3056
build-model-states-explored 1895345 3054
build-model-states-explored 1898416 3071
build-model-states-explored 1901470 3054
build-model-states-explored 1904529 3059
build-model-states-explored 1907588 3059
build-model-states-explored 1910650 3062
build-model-states-explored 1913706 3056
build-model-states-explored 1916760 3054
build-model-states-explored 1919796 3036
build-model-states-explored 1922841 3045
build-model-states-explored 1925884 3043
build-model-states-explored 1928938 3054
build-model-states-explored 1931993 3055
build-model-states-explored 1935052 3059
build-model-states-explored 1938106 3054
build-model-states-explored 1941164 3058
build-model-states-explored 1944221 3057
build-model-states-explored 1947269 3048
build-model-states-explored 1950327 3058
build-model-states-explored 1953375 3048
build-model-states-explored 1956420 3045
build-model-states-explored 1959475 3055
build-model-states-explored 1962525 3050
build-model-states-explored 1965578 3053
build-model-states-explored 1968636 3058
build-model-states-explored 1971683 3047
build-model-states-explored 1974744 3061
build-model-states-explored 1977800 3056
build-model-states-explored 1980847 3047
build-model-states-explored 1983894 3047
build-model-states-explored 1986939 3045
build-model-states-explored 1989995 3056
build-model-states-explored 1993052 3057
build-model-states-explored 1996102 3050
build-model-states-explored 1999157 3055
build-model-states-explored 2002209 3052
build-model-states-explored 2005257 3048
build-model-states-explored 2008309 3052
build-model-states-explored 2011368 3059
build-model-states-explored 2014409 3041
build-model-states-explored 2017454 3045
build-model-states-explored 2020503 3049
build-model-states-explored 2023554 3051
build-model-states-explored 2026604 3050
build-model-states-explored 2029650 3046
build-model-states-explored 2032698 3048
build-model-states-explored 2035758 3060
build-model-states-explored 2038807 3049
build-model-states-explored 2041861 3054
build-model-states-explored 2044923 3062
build-model-states-explored 2047969 3046
build-model-states-explored 2050941 2972
build-model-states-explored 2053984 3043
build-model-states-explored 2057026 3042
build-model-states-explored 2060082 3056
build-model-states-explored 2063134 3052
build-model-states-explored 2066188 3054
build-model-states-explored 2069239 3051
build-model-states-explored 2072298 3059
build-model-states-explored 2075348 3050
build-model-states-explored 2078409 3061
build-model-states-explored 2081462 3053
build-model-states-explored 2084516 3054
build-model-states-explored 2087576 3060
build-model-states-explored 2090631 3055
build-model-states-explored 2093678 3047
build-model-states-explored 2096729 3051
build-model-states-explored 2097159 430
build-model-states-explored 2100213 3054
build-model-states-explored 2103260 3047
build-model-states-explored 2106313 3053
build-model-states-explored 2109364 3051
build-model-states-explored 2112418 3054
build-model-states-explored 2115477 3059
build-model-states-explored 2118526 3049
build-model-states-explored 2121575 3049
build-model-states-explored 2124622 3047
build-model-states-explored 2127670 3048
build-model-states-explored 2130718 3048
build-model-states-explored 2133770 3052
build-model-states-explored 2136812 3042
build-model-states-explored 2139722 2910
build-model-states-explored 2142633 2911
build-model-states-explored 2145660 3027
build-model-states-explored 2148712 3052
build-model-states-explored 2151770 3058
build-model-states-explored 2154824 3054
build-model-states-explored 2157837 3013
build-model-states-explored 2160893 3056
build-model-states-explored 2163940 3047
build-model-states-explored 2166987 3047
build-model-states-explored 2170047 3060
build-model-states-explored 2173096 3049
build-model-states-explored 2176153 3057
build-model-states-explored 2179206 3053
build-model-states-explored 2182260 3054
build-model-states-explored 2185312 3052
build-model-states-explored 2188373 3061
build-model-states-explored 2191425 3052
build-model-states-explored 2194481 3056
build-model-states-explored 2197535 3054
build-model-states-explored 2200591 3056
build-model-states-explored 2203643 3052
build-model-states-explored 2206694 3051
build-model-states-explored 2209751 3057
build-model-states-explored 2212809 3058
build-model-states-explored 2215864 3055
build-model-states-explored 2218921 3057
build-model-states-explored 2221972 3051
build-model-states-explored 2225032 3060
build-model-states-explored 2228090 3058
build-model-states-explored 2231143 3053
build-model-states-explored 2234202 3059
build-model-states-explored 2237253 3051
build-model-states-explored 2240305 3052
build-model-states-explored 2243367 3062
build-model-states-explored 2246419 3052
build-model-states-explored 2249465 3046
build-model-states-explored 2252527 3062
build-model-states-explored 2255584 3057
build-model-states-explored 2258632 3048
build-model-states-explored 2261692 3060
build-model-states-explored 2264752 3060
build-model-states-explored 2267815 3063
build-model-states-explored 2270865 3050
build-model-states-explored 2273918 3053
build-model-states-explored 2276976 3058
build-model-states-explored 2280031 3055
build-model-states-explored 2283086 3055
build-model-states-explored 2286146 3060
build-model-states-explored 2289214 3068
build-model-states-explored 2292275 3061
build-model-states-explored 2295328 3053
build-model-states-explored 2298387 3059
build-model-states-explored 2301437 3050
build-model-states-explored 2304496 3059
build-model-states-explored 2307556 3060
build-model-states-explored 2310610 3054
build-model-states-explored 2313667 3057
build-model-states-explored 2316728 3061
build-model-states-explored 2319782 3054
build-model-states-explored 2322760 2978
build-model-states-explored 2325820 3060
build-model-states-explored 2328872 3052
build-model-states-explored 2331926 3054
build-model-states-explored 2334975 3049
build-model-states-explored 2338028 3053
build-model-states-explored 2341088 3060
build-model-states-explored 2344149 3061
build-model-states-explored 2347203 3054
build-model-states-explored 2350262 3059
build-model-states-explored 2353313 3051
build-model-states-explored 2356372 3059
build-model-states-explored 2359437 3065
build-model-states-explored 2362479 3042
build-model-states-explored 2365529 3050
build-model-states-explored 2368580 3051
build-model-states-explored 2371641 3061
build-model-states-explored 2374698 3057
build-model-states-explored 2377758 3060
build-model-states-explored 2380814 3056
build-model-states-explored 2383865 3051
build-model-states-explored 2386920 3055
build-model-states-explored 2389978 3058
build-model-states-explored 2393029 3051
build-model-states-explored 2396082 3053
build-model-states-explored 2399135 3053
build-model-states-explored 2402185 3050
build-model-states-explored 2405241 3056
build-model-states-explored 2408271 3030
build-model-states-explored 2411321 3050
build-model-states-explored 2414355 3034
build-model-states-explored 2417407 3052
build-model-states-explored 2420461 3054
build-model-states-explored 2423533 3072
build-model-states-explored 2426589 3056
build-model-states-explored 2429644 3055
build-model-states-explored 2432694 3050
build-model-states-explored 2435750 3056
build-model-states-explored 2438802 3052
build-model-states-explored 2441859 3057
build-model-states-explored 2444910 3051
build-model-states-explored 2447964 3054
build-model-states-explored 2451023 3059
build-model-states-explored 2454087 3064
build-model-states-explored 2457148 3061
build-model-states-explored 2460199 3051
build-model-states-explored 2463256 3057
build-model-states-explored 2466308 3052
build-model-states-explored 2469364 3056
build-model-states-explored 2472422 3058
build-model-states-explored 2475480 3058
build-model-states-explored 2478534 3054
build-model-states-explored 2481590 3056
build-model-states-explored 2484652 3062
build-model-states-explored 2487705 3053
build-model-states-explored 2490768 3063
build-model-states-explored 2493817 3049
build-model-states-explored 2496868 3051
build-model-states-explored 2499924 3056
build-model-states-explored 2502980 3056
build-model-states-explored 2506036 3056
build-model-states-explored 2509100 3064
build-model-states-explored 2512156 3056
build-model-states-explored 2515210 3054
build-model-states-explored 2518251 3041
build-model-states-explored 2521282 3031
build-model-states-explored 2524289 3007
build-model-states-explored 2527340 3051
build-model-states-explored 2530399 3059
build-model-states-explored 2533455 3056
build-model-states-explored 2536511 3056
build-model-states-explored 2539568 3057
build-model-states-explored 2542623 3055
build-model-states-explored 2545673 3050
build-model-states-explored 2548720 3047
build-model-states-explored 2551781 3061
build-model-states-explored 2554834 3053
build-model-states-explored 2557894 3060
build-model-states-explored 2560955 3061
build-model-states-explored 2564006 3051
build-model-states-explored 2567065 3059
build-model-states-explored 2570117 3052
build-model-states-explored 2573188 3071
build-model-states-explored 2576248 3060
build-model-states-explored 2579307 3059
build-model-states-explored 2582366 3059
build-model-states-explored 2585423 3057
build-model-states-explored 2588481 3058
build-model-states-explored 2591536 3055
build-model-states-explored 2594591 3055
build-model-states-explored 2597640 3049
build-model-states-explored 2600694 3054
build-model-states-explored 2603744 3050
build-model-states-explored 2606797 3053
build-model-states-explored 2609848 3051
build-model-states-explored 2612904 3056
build-model-states-explored 2615960 3056
build-model-states-explored 2619013 3053
build-model-states-explored 2622081 3068
build-model-states-explored 2625126 3045
build-model-states-explored 2628177 3051
build-model-states-explored 2631229 3052
build-model-states-explored 2634275 3046
build-model-states-explored 2637331 3056
build-model-states-explored 2640379 3048
build-model-states-explored 2643437 3058
build-model-states-explored 2646492 3055
build-model-states-explored 2649548 3056
build-model-states-explored 2652598 3050
build-model-states-explored 2655648 3050
build-model-states-explored 2658698 3050
build-model-states-explored 2661752 3054
build-model-states-explored 2664800 3048
build-model-states-explored 2667849 3049
build-model-states-explored 2670911 3062
build-model-states-explored 2673954 3043
build-model-states-explored 2677001 3047
build-model-states-explored 2680054 3053
build-model-states-explored 2683102 3048
build-model-states-explored 2686156 3054
build-model-states-explored 2689180 3024
build-model-states-explored 2692229 3049
build-model-states-explored 2695279 3050
build-model-states-explored 2698338 3059
build-model-states-explored 2701385 3047
build-model-states-explored 2704438 3053
build-model-states-explored 2707492 3054
build-model-states-explored 2710542 3050
build-model-states-explored 2713593 3051
build-model-states-explored 2716640 3047
build-model-states-explored 2719691 3051
build-model-states-explored 2722742 3051
build-model-states-explored 2725790 3048
build-model-states-explored 2728849 3059
build-model-states-explored 2731914 3065
build-model-states-explored 2734967 3053
build-model-states-explored 2738018 3051
build-model-states-explored 2741071 3053
build-model-states-explored 2744128 3057
build-model-states-explored 2747176 3048
build-model-states-explored 2750230 3054
build-model-states-explored 2753279 3049
build-model-states-explored 2756332 3053
build-model-states-explored 2759392 3060
build-model-states-explored 2762450 3058
build-model-states-explored 2765501 3051
build-model-states-explored 2768560 3059
build-model-states-explored 2771612 3052
build-model-states-explored 2774662 3050
build-model-states-explored 2777713 3051
build-model-states-explored 2780737 3024
build-model-states-explored 2783786 3049
build-model-states-explored 2786840 3054
build-model-states-explored 2789888 3048
build-model-states-explored 2792947 3059
build-model-states-explored 2795996 3049
build-model-states-explored 2799047 3051
build-model-states-explored 2802096 3049
build-model-states-explored 2805153 3057
build-model-states-explored 2808210 3057
build-model-states-explored 2811262 3052
build-model-states-explored 2814312 3050
build-model-states-explored 2817369 3057
build-model-states-explored 2820424 3055
build-model-states-explored 2823474 3050
build-model-states-explored 2826526 3052
build-model-states-explored 2829588 3062
build-model-states-explored 2832652 3064
build-model-states-explored 2835703 3051
build-model-states-explored 2838755 3052
build-model-states-explored 2841816 3061
build-model-states-explored 2844876 3060
build-model-states-explored 2847931 3055
build-model-states-explored 2850990 3059
build-model-states-explored 2854012 3022
build-model-states-explored 2857050 3038
build-model-states-explored 2860103 3053
build-model-states-explored 2863168 3065
build-model-states-explored 2866229 3061
build-model-states-explored 2869293 3064
build-model-states-explored 2872285 2992
build-model-states-explored 2875343 3058
build-model-states-explored 2878399 3056
build-model-states-explored 2881461 3062
build-model-states-explored 2884520 3059
build-model-states-explored 2887570 3050
build-model-states-explored 2890575 3005
build-model-states-explored 2893627 3052
build-model-states-explored 2896679 3052
build-model-states-explored 2899729 3050
build-model-states-explored 2902777 3048
build-model-states-explored 2905830 3053
build-model-states-explored 2908878 3048
build-model-states-explored 2911935 3057
build-model-states-explored 2914996 3061
build-model-states-explored 2918057 3061
build-model-states-explored 2921108 3051
build-model-states-explored 2924162 3054
build-model-states-explored 2927218 3056
build-model-states-explored 2930286 3068
build-model-states-explored 2933350 3064
build-model-states-explored 2936403 3053
build-model-states-explored 2939458 3055
build-model-states-explored 2942514 3056
build-model-states-explored 2945566 3052
build-model-states-explored 2948624 3058
build-model-states-explored 2951676 3052
build-model-states-explored 2954735 3059
build-model-states-explored 2957788 3053
build-model-states-explored 2960852 3064
build-model-states-explored 2963911 3059
build-model-states-explored 2966970 3059
build-model-states-explored 2970018 3048
build-model-states-explored 2973079 3061
build-model-states-explored 2976127 3048
build-model-states-explored 2979185 3058
build-model-states-explored 2982240 3055
build-model-states-explored 2985293 3053
build-model-states-explored 2988341 3048
build-model-states-explored 2991394 3053
build-model-states-explored 2994456 3062
build-model-states-explored 2997514 3058
build-model-states-explored 3000569 3055
build-model-states-explored 3003629 3060
build-model-states-explored 3006657 3028
build-model-states-explored 3009708 3051
build-model-states-explored 3012766 3058
build-model-states-explored 3015823 3057
build-model-states-explored 3018871 3048
build-model-states-explored 3021921 3050
build-model-states-explored 3024978 3057
build-model-states-explored 3028030 3052
build-model-states-explored 3031074 3044
build-model-states-explored 3034128 3054
build-model-states-explored 3037176 3048
build-model-states-explored 3040222 3046
build-model-states-explored 3043266 3044
build-model-states-explored 3046319 3053
build-model-states-explored 3049337 3018
build-model-states-explored 3052389 3052
build-model-states-explored 3055399 3010
build-model-states-explored 3058456 3057
build-model-states-explored 3061470 3014
build-model-states-explored 3064522 3052
build-model-states-explored 3067570 3048
build-model-states-explored 3070633 3063
build-model-states-explored 3073684 3051
build-model-states-explored 3076742 3058
build-model-states-explored 3079803 3061
build-model-states-explored 3082853 3050
build-model-states-explored 3085917 3064
build-model-states-explored 3088972 3055
build-model-states-explored 3092026 3054
build-model-states-explored 3095080 3054
build-model-states-explored 3098141 3061
build-model-states-explored 3101198 3057
build-model-states-explored 3104254 3056
build-model-states-explored 3107312 3058
build-model-states-explored 3110367 3055
build-model-states-explored 3113428 3061
build-model-states-explored 3116476 3048
build-model-states-explored 3119526 3050
build-model-states-explored 3122585 3059
build-model-states-explored 3125642 3057
build-model-states-explored 3128701 3059
build-model-states-explored 3131764 3063
build-model-states-explored 3134823 3059
build-model-states-explored 3137883 3060
build-model-states-explored 3140935 3052
build-model-states-explored 3143989 3054
build-model-states-explored 3146728 2739
build-model-states-explored 3149784 3056
build-model-states-explored 3152837 3053
build-model-states-explored 3155889 3052
build-model-states-explored 3158942 3053
build-model-states-explored 3161999 3057
build-model-states-explored 3165047 3048
build-model-states-explored 3168093 3046
build-model-states-explored 3171143 3050
build-model-states-explored 3174206 3063
build-model-states-explored 3177261 3055
build-model-states-explored 3180315 3054
build-model-states-explored 3183372 3057
build-model-states-explored 3186421 3049
build-model-states-explored 3189477 3056
build-model-states-explored 3192528 3051
build-model-states-explored 3195584 3056
build-model-states-explored 3198639 3055
build-model-states-explored 3201694 3055
build-model-states-explored 3204747 3053
build-model-states-explored 3207806 3059
build-model-states-explored 3210866 3060
build-model-states-explored 3213918 3052
build-model-states-explored 3216969 3051
build-model-states-explored 3220021 3052
build-model-states-explored 3223076 3055
build-model-states-explored 3226131 3055
build-model-states-explored 3229192 3061
build-model-states-explored 3232241 3049
build-model-states-explored 3235292 3051
build-model-states-explored 3238268 2976
build-model-states-explored 3241293 3025
build-model-states-explored 3244362 3069
build-model-states-explored 3247416 3054
build-model-states-explored 3250467 3051
build-model-states-explored 3253485 3018
build-model-states-explored 3256505 3020
build-model-states-explored 3259551 3046
build-model-states-explored 3262608 3057
build-model-states-explored 3265654 3046
build-model-states-explored 3268713 3059
build-model-states-explored 3271763 3050
build-model-states-explored 3274823 3060
build-model-states-explored 3277876 3053
build-model-states-explored 3280915 3039
build-model-states-explored 3283954 3039
build-model-states-explored 3287007 3053
build-model-states-explored 3290059 3052
build-model-states-explored 3293112 3053
build-model-states-explored 3296166 3054
build-model-states-explored 3299215 3049
build-model-states-explored 3302269 3054
build-model-states-explored 3305313 3044
build-model-states-explored 3308362 3049
build-model-states-explored 3311414 3052
build-model-states-explored 3314460 3046
build-model-states-explored 3317509 3049
build-model-states-explored 3320567 3058
build-model-states-explored 3323618 3051
build-model-states-explored 3326675 3057
build-model-states-explored 3329681 3006
build-model-states-explored 3332741 3060
build-model-states-explored 3335792 3051
build-model-states-explored 3338851 3059
build-model-states-explored 3341900 3049
build-model-states-explored 3344955 3055
build-model-states-explored 3348012 3057
build-model-states-explored 3351079 3067
build-model-states-explored 3354131 3052
build-model-states-explored 3357187 3056
build-model-states-explored 3360244 3057
build-model-states-explored 3363295 3051
build-model-states-explored 3366344 3049
build-model-states-explored 3369392 3048
build-model-states-explored 3372450 3058
build-model-states-explored 3375500 3050
build-model-states-explored 3378551 3051
build-model-states-explored 3381601 3050
build-model-states-explored 3384657 3056
build-model-states-explored 3387719 3062
build-model-states-explored 3390777 3058
build-model-states-explored 3393831 3054
build-model-states-explored 3396889 3058
build-model-states-explored 3399946 3057
build-model-states-explored 3403011 3065
build-model-states-explored 3406067 3056
build-model-states-explored 3409119 3052
build-model-states-explored 3412170 3051
build-model-states-explored 3415227 3057
build-model-states-explored 3418283 3056
build-model-states-explored 3421328 3045
build-model-states-explored 3424381 3053
build-model-states-explored 3427431 3050
build-model-states-explored 3430484 3053
build-model-states-explored 3433527 3043
build-model-states-explored 3436577 3050
build-model-states-explored 3439636 3059
build-model-states-explored 3442685 3049
build-model-states-explored 3445732 3047
build-model-states-explored 3448786 3054
build-model-states-explored 3451831 3045
build-model-states-explored 3454895 3064
build-model-states-explored 3457955 3060
build-model-states-explored 3461002 3047
build-model-states-explored 3464051 3049
build-model-states-explored 3467103 3052
build-model-states-explored 3470149 3046
build-model-states-explored 3473209 3060
build-model-states-explored 3476261 3052
build-model-states-explored 3479310 3049
build-model-states-explored 3482363 3053
build-model-states-explored 3485415 3052
build-model-states-explored 3488472 3057
build-model-states-explored 3491531 3059
build-model-states-explored 3494581 3050
build-model-states-explored 3497636 3055
build-model-states-explored 3500687 3051
build-model-states-explored 3503731 3044
build-model-states-explored 3506783 3052
build-model-states-explored 3509833 3050
build-model-states-explored 3512880 3047
build-model-states-explored 3515935 3055
build-model-states-explored 3518986 3051
build-model-states-explored 3522041 3055
build-model-states-explored 3525096 3055
build-model-states-explored 3528149 3053
build-model-states-explored 3531203 3054
build-model-states-explored 3534263 3060
build-model-states-explored 3537331 3068
build-model-states-explored 3540394 3063
build-model-states-explored 3543444 3050
build-model-states-explored 3546499 3055
build-model-states-explored 3549555 3056
build-model-states-explored 3552608 3053
build-model-states-explored 3555654 3046
build-model-states-explored 3558704 3050
build-model-states-explored 3561755 3051
build-model-states-explored 3564791 3036
build-model-states-explored 3567773 2982
build-model-states-explored 3570824 3051
build-model-states-explored 3573874 3050
build-model-states-explored 3576927 3053
build-model-states-explored 3579982 3055
build-model-states-explored 3583036 3054
build-model-states-explored 3586096 3060
build-model-states-explored 3589150 3054
build-model-states-explored 3592203 3053
build-model-states-explored 3595254 3051
build-model-states-explored 3598314 3060
build-model-states-explored 3601371 3057
build-model-states-explored 3604426 3055
build-model-states-explored 3607471 3045
build-model-states-explored 3610525 3054
build-model-states-explored 3613579 3054
build-model-states-explored 3616630 3051
build-model-states-explored 3619676 3046
build-model-states-explored 3622684 3008
build-model-states-explored 3625726 3042
build-model-states-explored 3628783 3057
build-model-states-explored 3631839 3056
build-model-states-explored 3634900 3061
build-model-states-explored 3637959 3059
build-model-states-explored 3641007 3048
build-model-states-explored 3644063 3056
build-model-states-explored 3647122 3059
build-model-states-explored 3650179 3057
build-model-states-explored 3653233 3054
build-model-states-explored 3656288 3055
build-model-states-explored 3659342 3054
build-model-states-explored 3662373 3031
build-model-states-explored 3665297 2924
build-model-states-explored 3668352 3055
build-model-states-explored 3671402 3050
build-model-states-explored 3674459 3057
build-model-states-explored 3677512 3053
build-model-states-explored 3680563 3051
build-model-states-explored 3683626 3063
build-model-states-explored 3686685 3059
build-model-states-explored 3689729 3044
build-model-states-explored 3692780 3051
build-model-states-explored 3695832 3052
build-model-states-explored 3698886 3054
build-model-states-explored 3701950 3064
build-model-states-explored 3705000 3050
build-model-states-explored 3708047 3047
build-model-states-explored 3711096 3049
build-model-states-explored 3714153 3057
build-model-states-explored 3717204 3051
build-model-states-explored 3720252 3048
build-model-states-explored 3723292 3040
build-model-states-explored 3726338 3046
build-model-states-explored 3729390 3052
build-model-states-explored 3732440 3050
build-model-states-explored 3735500 3060
build-model-states-explored 3738556 3056
build-model-states-explored 3741603 3047
build-model-states-explored 3744655 3052
build-model-states-explored 3747704 3049
build-model-states-explored 3750760 3056
build-model-states-explored 3753811 3051
build-model-states-explored 3756873 3062
build-model-states-explored 3759926 3053
build-model-states-explored 3762990 3064
build-model-states-explored 3766055 3065
build-model-states-explored 3769116 3061
build-model-states-explored 3772174 3058
build-model-states-explored 3775227 3053
build-model-states-explored 3778280 3053
build-model-states-explored 3781339 3059
build-model-states-explored 3784398 3059
build-model-states-explored 3787450 3052
build-model-states-explored 3790494 3044
build-model-states-explored 3793547 3053
build-model-states-explored 3796598 3051
build-model-states-explored 3799658 3060
build-model-states-explored 3802714 3056
build-model-states-explored 3805764 3050
build-model-states-explored 3808816 3052
build-model-states-explored 3811860 3044
build-model-states-explored 3814913 3053
build-model-states-explored 3817971 3058
build-model-states-explored 3821027 3056
build-model-states-explored 3824081 3054
build-model-states-explored 3827137 3056
build-model-states-explored 3830196 3059
build-model-states-explored 3833253 3057
build-model-states-explored 3836304 3051
build-model-states-explored 3839353 3049
build-model-states-explored 3842411 3058
build-model-states-explored 3845463 3052
build-model-states-explored 3848521 3058
build-model-states-explored 3851583 3062
build-model-states-explored 3854638 3055
build-model-states-explored 3857696 3058
build-model-states-explored 3860706 3010
build-model-states-explored 3863758 3052
build-model-states-explored 3866809 3051
build-model-states-explored 3869877 3068
build-model-states-explored 3872921 3044
build-model-states-explored 3875976 3055
build-model-states-explored 3879023 3047
build-model-states-explored 3882071 3048
build-model-states-explored 3885130 3059
build-model-states-explored 3888182 3052
build-model-states-explored 3891236 3054
build-model-states-explored 3894280 3044
build-model-states-explored 3897332 3052
build-model-states-explored 3900390 3058
build-model-states-explored 3903445 3055
build-model-states-explored 3906493 3048
build-model-states-explored 3909546 3053
build-model-states-explored 3912597 3051
build-model-states-explored 3915649 3052
build-model-states-explored 3918715 3066
build-model-states-explored 3921766 3051
build-model-states-explored 3924816 3050
build-model-states-explored 3927872 3056
build-model-states-explored 3930922 3050
build-model-states-explored 3933978 3056
build-model-states-explored 3937035 3057
build-model-states-explored 3940076 3041
build-model-states-explored 3943125 3049
build-model-states-explored 3946175 3050
build-model-states-explored 3949224 3049
build-model-states-explored 3952274 3050
build-model-states-explored 3955327 3053
build-model-states-explored 3958369 3042
build-model-states-explored 3961404 3035
build-model-states-explored 3964386 2982
build-model-states-explored 3967448 3062
build-model-states-explored 3970497 3049
build-model-states-explored 3973557 3060
build-model-states-explored 3976609 3052
build-model-states-explored 3979660 3051
build-model-states-explored 3982705 3045
build-model-states-explored 3983878 1173
build-model-states-explored 3986725 2847
build-model-states-explored 3989632 2907
build-model-states-explored 3992546 2914
build-model-states-explored 3995465 2919
build-model-states-explored 3998384 2919
build-model-states-explored 4001300 2916
build-model-states-explored 4004217 2917
build-model-states-explored 4007139 2922
build-model-states-explored 4010057 2918
build-model-states-explored 4012974 2917
build-model-states-explored 4015888 2914
build-model-states-explored 4018801 2913
build-model-states-explored 4021712 2911
build-model-states-explored 4024625 2913
build-model-states-explored 4027550 2925
build-model-states-explored 4030463 2913
build-model-states-explored 4033380 2917
build-model-states-explored 4036292 2912
build-model-states-explored 4039172 2880
build-model-states-explored 4042089 2917
build-model-states-explored 4045002 2913
build-model-states-explored 4047912 2910
build-model-states-explored 4050830 2918
build-model-states-explored 4053735 2905
build-model-states-explored 4056649 2914
build-model-states-explored 4059565 2916
build-model-states-explored 4062480 2915
build-model-states-explored 4065395 2915
build-model-states-explored 4068311 2916
build-model-states-explored 4071228 2917
build-model-states-explored 4074141 2913
build-model-states-explored 4077057 2916
build-model-states-explored 4079969 2912
build-model-states-explored 4082888 2919
build-model-states-explored 4085804 2916
build-model-states-explored 4088717 2913
build-model-states-explored 4091630 2913
build-model-states-explored 4094546 2916
build-model-states-explored 4097472 2926
build-model-states-explored 4100392 2920
build-model-states-explored 4103308 2916
build-model-states-explored 4106216 2908
build-model-states-explored 4109125 2909
build-model-states-explored 4112044 2919
build-model-states-explored 4114959 2915
build-model-states-explored 4117874 2915
build-model-states-explored 4120791 2917
build-model-states-explored 4123703 2912
build-model-states-explored 4126612 2909
build-model-states-explored 4129526 2914
build-model-states-explored 4132445 2919
build-model-states-explored 4135354 2909
build-model-states-explored 4138270 2916
build-model-states-explored 4141179 2909
build-model-states-explored 4144095 2916
build-model-states-explored 4147018 2923
build-model-states-explored 4149919 2901
build-model-states-explored 4152840 2921
build-model-states-explored 4155756 2916
build-model-states-explored 4158673 2917
build-model-states-explored 4161589 2916
build-model-states-explored 4164504 2915
build-model-states-explored 4167419 2915
build-model-states-explored 4170329 2910
build-model-states-explored 4173245 2916
build-model-states-explored 4176161 2916
build-model-states-explored 4179081 2920
build-model-states-explored 4181998 2917
build-model-states-explored 4184914 2916
build-model-states-explored 4187833 2919
build-model-states-explored 4190756 2923
build-model-states-explored 4193670 2914
build-model-states-explored 4194304 634
build-model-states-explored 4196489 2185
build-model-states-explored 4199390 2901
build-model-states-explored 4202294 2904
build-model-states-explored 4205196 2902
build-model-states-explored 4208098 2902
build-model-states-explored 4210995 2897
build-model-states-explored 4213895 2900
build-model-states-explored 4216793 2898
build-model-states-explored 4219690 2897
build-model-states-explored 4222590 2900
build-model-states-explored 4225494 2904
build-model-states-explored 4228397 2903
build-model-states-explored 4231301 2904
build-model-states-explored 4234200 2899
build-model-states-explored 4237099 2899
build-model-states-explored 4240000 2901
build-model-states-explored 4242905 2905
build-model-states-explored 4245810 2905
build-model-states-explored 4248713 2903
build-model-states-explored 4251614 2901
build-model-states-explored 4254515 2901
build-model-states-explored 4257427 2912
build-model-states-explored 4260335 2908
build-model-states-explored 4263242 2907
build-model-states-explored 4266151 2909
build-model-states-explored 4269058 2907
build-model-states-explored 4271964 2906
build-model-states-explored 4274879 2915
build-model-states-explored 4277778 2899
build-model-states-explored 4280670 2892
build-model-states-explored 4283577 2907
build-model-states-explored 4286483 2906
build-model-states-explored 4289388 2905
build-model-states-explored 4292300 2912
build-model-states-explored 4295203 2903
build-model-states-explored 4298107 2904
build-model-states-explored 4301014 2907
build-model-states-explored 4303917 2903
build-model-states-explored 4306827 2910
build-model-states-explored 4309741 2914
build-model-states-explored 4312647 2906
build-model-states-explored 4315560 2913
build-model-states-explored 4318470 2910
build-model-states-explored 4321388 2918
build-model-states-explored 4324301 2913
build-model-states-explored 4327203 2902
build-model-states-explored 4330115 2912
build-model-states-explored 4332974 2859
build-model-states-explored 4335875 2901
build-model-states-explored 4338788 2913
build-model-states-explored 4341706 2918
build-model-states-explored 4344622 2916
build-model-states-explored 4347539 2917
build-model-states-explored 4350445 2906
build-model-states-explored 4353352 2907
build-model-states-explored 4356255 2903
build-model-states-explored 4359166 2911
build-model-states-explored 4362071 2905
build-model-states-explored 4364981 2910
build-model-states-explored 4367888 2907
build-model-states-explored 4370796 2908
build-model-states-explored 4373709 2913
build-model-states-explored 4376622 2913
build-model-states-explored 4379523 2901
build-model-states-explored 4382430 2907
build-model-states-explored 4385319 2889
build-model-states-explored 4388227 2908
build-model-states-explored 4391142 2915
build-model-states-explored 4394052 2910
build-model-states-explored 4396961 2909
build-model-states-explored 4399842 2881
build-model-states-explored 4402750 2908
build-model-states-explored 4405665 2915
build-model-states-explored 4408577 2912
build-model-states-explored 4411487 2910
build-model-states-explored 4414399 2912
build-model-states-explored 4417303 2904
build-model-states-explored 4420213 2910
build-model-states-explored 4423126 2913
build-model-states-explored 4426039 2913
build-model-states-explored 4428946 2907
build-model-states-explored 4431855 2909
build-model-states-explored 4434767 2912
build-model-states-explored 4437677 2910
build-model-states-explored 4440592 2915
build-model-states-explored 4443500 2908
build-model-states-explored 4446415 2915
build-model-states-explored 4449323 2908
build-model-states-explored 4452235 2912
build-model-states-explored 4455152 2917
build-model-states-explored 4458060 2908
build-model-states-explored 4460967 2907
build-model-states-explored 4463868 2901
build-model-states-explored 4466774 2906
build-model-states-explored 4469680 2906
build-model-states-explored 4472593 2913
build-model-states-explored 4475502 2909
build-model-states-explored 4478411 2909
build-model-states-explored 4481317 2906
build-model-states-explored 4484220 2903
build-model-states-explored 4487124 2904
build-model-states-explored 4490032 2908
build-model-states-explored 4492939 2907
build-model-states-explored 4495844 2905
build-model-states-explored 4498750 2906
build-model-states-explored 4501664 2914
build-model-states-explored 4504572 2908
build-model-states-explored 4507480 2908
build-model-states-explored 4510385 2905
build-model-states-explored 4513295 2910
build-model-states-explored 4516204 2909
build-model-states-explored 4519110 2906
build-model-states-explored 4522014 2904
build-model-states-explored 4524921 2907
build-model-states-explored 4527828 2907
build-model-states-explored 4530738 2910
build-model-states-explored 4533647 2909
build-model-states-explored 4536555 2908
build-model-states-explored 4539467 2912
build-model-states-explored 4542376 2909
build-model-states-explored 4545290 2914
build-model-states-explored 4548209 2919
build-model-states-explored 4551131 2922
build-model-states-explored 4554049 2918
build-model-states-explored 4556965 2916
build-model-states-explored 4559876 2911
build-model-states-explored 4562789 2913
build-model-states-explored 4565701 2912
build-model-states-explored 4568611 2910
build-model-states-explored 4571526 2915
build-model-states-explored 4574434 2908
build-model-states-explored 4577346 2912
build-model-states-explored 4580257 2911
build-model-states-explored 4583166 2909
build-model-states-explored 4586073 2907
build-model-states-explored 4588983 2910
build-model-states-explored 4591890 2907
build-model-states-explored 4594794 2904
build-model-states-explored 4597707 2913
build-model-states-explored 4600617 2910
build-model-states-explored 4603509 2892
build-model-states-explored 4606414 2905
build-model-states-explored 4609319 2905
build-model-states-explored 4612233 2914
build-model-states-explored 4615146 2913
build-model-states-explored 4618056 2910
build-model-states-explored 4620969 2913
build-model-states-explored 4623874 2905
build-model-states-explored 4626788 2914
build-model-states-explored 4629702 2914
build-model-states-explored 4632607 2905
build-model-states-explored 4635517 2910
build-model-states-explored 4638427 2910
build-model-states-explored 4641341 2914
build-model-states-explored 4644254 2913
build-model-states-explored 4647165 2911
build-model-states-explored 4650080 2915
build-model-states-explored 4652994 2914
build-model-states-explored 4655899 2905
build-model-states-explored 4658800 2901
build-model-states-explored 4661703 2903
build-model-states-explored 4664614 2911
build-model-states-explored 4667516 2902
build-model-states-explored 4670422 2906
build-model-states-explored 4673330 2908
build-model-states-explored 4676237 2907
build-model-states-explored 4679143 2906
build-model-states-explored 4682010 2867
build-model-states-explored 4684922 2912
build-model-states-explored 4687822 2900
build-model-states-explored 4690726 2904
build-model-states-explored 4693643 2917
build-model-states-explored 4696552 2909
build-model-states-explored 4699464 2912
build-model-states-explored 4702379 2915
build-model-states-explored 4705292 2913
build-model-states-explored 4708201 2909
build-model-states-explored 4711113 2912
build-model-states-explored 4714024 2911
build-model-states-explored 4716942 2918
build-model-states-explored 4719851 2909
build-model-states-explored 4722765 2914
build-model-states-explored 4725673 2908
build-model-states-explored 4728590 2917
build-model-states-explored 4731500 2910
build-model-states-explored 4734411 2911
build-model-states-explored 4737319 2908
build-model-states-explored 4740229 2910
build-model-states-explored 4743145 2916
build-model-states-explored 4746054 2909
build-model-states-explored 4748961 2907
build-model-states-explored 4751867 2906
build-model-states-explored 4754766 2899
build-model-states-explored 4757672 2906
build-model-states-explored 4760577 2905
build-model-states-explored 4763451 2874
build-model-states-explored 4766241 2790
build-model-states-explored 4769020 2779
build-model-states-explored 4771925 2905
build-model-states-explored 4774830 2905
build-model-states-explored 4777737 2907
build-model-states-explored 4780646 2909
build-model-states-explored 4783552 2906
build-model-states-explored 4786461 2909
build-model-states-explored 4789377 2916
build-model-states-explored 4792294 2917
build-model-states-explored 4795200 2906
build-model-states-explored 4798116 2916
build-model-states-explored 4801020 2904
build-model-states-explored 4803925 2905
build-model-states-explored 4806833 2908
build-model-states-explored 4809747 2914
build-model-states-explored 4812653 2906
build-model-states-explored 4815554 2901
build-model-states-explored 4818461 2907
build-model-states-explored 4821364 2903
build-model-states-explored 4824272 2908
build-model-states-explored 4827180 2908
build-model-states-explored 4830089 2909
build-model-states-explored 4833003 2914
build-model-states-explored 4835904 2901
build-model-states-explored 4838812 2908
build-model-states-explored 4841724 2912
build-model-states-explored 4844633 2909
build-model-states-explored 4847542 2909
build-model-states-explored 4850449 2907
build-model-states-explored 4853357 2908
build-model-states-explored 4856261 2904
build-model-states-explored 4859166 2905
build-model-states-explored 4862071 2905
build-model-states-explored 4864980 2909
build-model-states-explored 4867821 2841
build-model-states-explored 4870739 2918
build-model-states-explored 4873648 2909
build-model-states-explored 4876559 2911
build-model-states-explored 4879468 2909
build-model-states-explored 4882383 2915
build-model-states-explored 4885292 2909
build-model-states-explored 4888197 2905
build-model-states-explored 4891098 2901
build-model-states-explored 4894007 2909
build-model-states-explored 4896920 2913
build-model-states-explored 4899833 2913
build-model-states-explored 4902739 2906
build-model-states-explored 4905650 2911
build-model-states-explored 4908559 2909
build-model-states-explored 4911472 2913
build-model-states-explored 4914383 2911
build-model-states-explored 4917288 2905
build-model-states-explored 4920199 2911
build-model-states-explored 4923102 2903
build-model-states-explored 4926012 2910
build-model-states-explored 4928923 2911
build-model-states-explored 4931835 2912
build-model-states-explored 4934754 2919
build-model-states-explored 4937664 2910
build-model-states-explored 4940579 2915
build-model-states-explored 4943493 2914
build-model-states-explored 4946410 2917
build-model-states-explored 4949323 2913
build-model-states-explored 4952233 2910
build-model-states-explored 4955143 2910
build-model-states-explored 4958056 2913
build-model-states-explored 4960969 2913
build-model-states-explored 4963885 2916
build-model-states-explored 4966799 2914
build-model-states-explored 4969711 2912
build-model-states-explored 4972624 2913
build-model-states-explored 4975532 2908
build-model-states-explored 4978446 2914
build-model-states-explored 4981355 2909
build-model-states-explored 4984256 2901
build-model-states-explored 4987165 2909
build-model-states-explored 4990069 2904
build-model-states-explored 4992979 2910
build-model-states-explored 4995885 2906
build-model-states-explored 4998791 2906
build-model-states-explored 5001704 2913
build-model-states-explored 5004617 2913
build-model-states-explored 5007524 2907
build-model-states-explored 5010426 2902
build-model-states-explored 5013337 2911
build-model-states-explored 5016245 2908
build-model-states-explored 5019148 2903
build-model-states-explored 5022058 2910
build-model-states-explored 5024966 2908
build-model-states-explored 5027878 2912
build-model-states-explored 5030736 2858
build-model-states-explored 5033642 2906
build-model-states-explored 5036551 2909
build-model-states-explored 5039460 2909
build-model-states-explored 5042372 2912
build-model-states-explored 5045276 2904
build-model-states-explored 5048186 2910
build-model-states-explored 5051095 2909
build-model-states-explored 5054005 2910
build-model-states-explored 5056916 2911
build-model-states-explored 5059826 2910
build-model-states-explored 5062736 2910
build-model-states-explored 5065642 2906
build-model-states-explored 5068552 2910
build-model-states-explored 5071459 2907
build-model-states-explored 5074370 2911
build-model-states-explored 5077288 2918
build-model-states-explored 5080203 2915
build-model-states-explored 5083111 2908
build-model-states-explored 5086019 2908
build-model-states-explored 5088926 2907
build-model-states-explored 5091840 2914
build-model-states-explored 5094753 2913
build-model-states-explored 5097661 2908
build-model-states-explored 5100570 2909
build-model-states-explored 5103479 2909
build-model-states-explored 5106356 2877
build-model-states-explored 5109266 2910
build-model-states-explored 5112177 2911
build-model-states-explored 5115041 2864
build-model-states-explored 5117954 2913
build-model-states-explored 5120863 2909
build-model-states-explored 5123773 2910
build-model-states-explored 5126647 2874
build-model-states-explored 5129540 2893
build-model-states-explored 5132448 2908
build-model-states-explored 5135360 2912
build-model-states-explored 5138275 2915
build-model-states-explored 5141183 2908
build-model-states-explored 5144103 2920
build-model-states-explored 5147015 2912
build-model-states-explored 5149930 2915
build-model-states-explored 5152847 2917
build-model-states-explored 5155757 2910
build-model-states-explored 5158670 2913
build-model-states-explored 5161583 2913
build-model-states-explored 5164496 2913
build-model-states-explored 5167408 2912
build-model-states-explored 5170318 2910
build-model-states-explored 5173229 2911
build-model-states-explored 5176136 2907
build-model-states-explored 5179045 2909
build-model-states-explored 5181957 2912
build-model-states-explored 5184865 2908
build-model-states-explored 5187779 2914
build-model-states-explored 5190695 2916
build-model-states-explored 5193611 2916
build-model-states-explored 5196522 2911
build-model-states-explored 5199427 2905
build-model-states-explored 5202337 2910
build-model-states-explored 5205245 2908
build-model-states-explored 5208157 2912
build-model-states-explored 5211080 2923
build-model-states-explored 5213993 2913
build-model-states-explored 5216907 2914
build-model-states-explored 5219819 2912
build-model-states-explored 5222729 2910
build-model-states-explored 5225651 2922
build-model-states-explored 5228566 2915
build-model-states-explored 5231478 2912
build-model-states-explored 5234387 2909
build-model-states-explored 5237307 2920
build-model-states-explored 5240221 2914
build-model-states-explored 5242880 2659
build-model-states-explored 5244315 1435
build-model-states-explored 5247223 2908
build-model-states-explored 5250130 2907
build-model-states-explored 5253043 2913
build-model-states-explored 5255956 2913
build-model-states-explored 5258877 2921
build-model-states-explored 5261791 2914
build-model-states-explored 5264705 2914
build-model-states-explored 5267619 2914
build-model-states-explored 5270528 2909
build-model-states-explored 5273435 2907
build-model-states-explored 5276350 2915
build-model-states-explored 5279259 2909
build-model-states-explored 5282169 2910
build-model-states-explored 5285078 2909
build-model-states-explored 5287987 2909
build-model-states-explored 5290893 2906
build-model-states-explored 5293799 2906
build-model-states-explored 5296707 2908
build-model-states-explored 5299628 2921
build-model-states-explored 5302545 2917
build-model-states-explored 5305463 2918
build-model-states-explored 5308379 2916
build-model-states-explored 5311294 2915
build-model-states-explored 5314203 2909
build-model-states-explored 5317112 2909
build-model-states-explored 5320022 2910
build-model-states-explored 5322933 2911
build-model-states-explored 5325843 2910
build-model-states-explored 5328752 2909
build-model-states-explored 5331664 2912
build-model-states-explored 5334578 2914
build-model-states-explored 5337493 2915
build-model-states-explored 5340410 2917
build-model-states-explored 5343327 2917
build-model-states-explored 5346240 2913
build-model-states-explored 5349150 2910
build-model-states-explored 5352064 2914
build-model-states-explored 5354974 2910
build-model-states-explored 5357885 2911
build-model-states-explored 5360787 2902
build-model-states-explored 5363702 2915
build-model-states-explored 5366611 2909
build-model-states-explored 5369525 2914
build-model-states-explored 5372436 2911
build-model-states-explored 5375348 2912
build-model-states-explored 5378250 2902
build-model-states-explored 5381162 2912
build-model-states-explored 5384077 2915
build-model-states-explored 5386986 2909
build-model-states-explored 5389896 2910
build-model-states-explored 5392810 2914
build-model-states-explored 5395719 2909
build-model-states-explored 5398631 2912
build-model-states-explored 5401542 2911
build-model-states-explored 5404454 2912
build-model-states-explored 5407364 2910
build-model-states-explored 5410280 2916
build-model-states-explored 5413202 2922
build-model-states-explored 5416110 2908
build-model-states-explored 5419028 2918
build-model-states-explored 5421943 2915
build-model-states-explored 5424861 2918
build-model-states-explored 5427776 2915
build-model-states-explored 5430690 2914
build-model-states-explored 5433600 2910
build-model-states-explored 5436512 2912
build-model-states-explored 5439421 2909
build-model-states-explored 5442329 2908
build-model-states-explored 5445239 2910
build-model-states-explored 5448157 2918
build-model-states-explored 5451074 2917
build-model-states-explored 5453991 2917
build-model-states-explored 5456911 2920
build-model-states-explored 5459832 2921
build-model-states-explored 5462751 2919
build-model-states-explored 5465667 2916
build-model-states-explored 5468581 2914
build-model-states-explored 5471497 2916


----------
Computation aborted after 1800.0737681388855 seconds since the total time limit of 1800 seconds was exceeded.